[IA64] Quiet VTi domain bootup

Xen shouldn't be printing anything to the console at a visible
log level for normal startup.

Signed-off-by: Alex Williamson <alex.williamson@hp.com>

diff --git a/xen/arch/ia64/vmx/vlsapic.c b/xen/arch/ia64/vmx/vlsapic.c
index 979571620d1af60dfc843e3c45bdf81e2bd67386..81b1fd46d981aef8df7e3ece7ee9872978237e84 100644 (file)
--- a/xen/arch/ia64/vmx/vlsapic.c
+++ b/xen/arch/ia64/vmx/vlsapic.c
@@ -691,7 +691,7 @@ static void vlsapic_write_ipi(VCPU *vcpu, uint64_t addr, uint64_t value)
 
         if (test_and_clear_bit(_VCPUF_down,&targ->vcpu_flags)) {
             vcpu_wake(targ);
-            printk("arch_boot_vcpu: vcpu %d awaken %016lx!\n",
+            printk(XENLOG_DEBUG "arch_boot_vcpu: vcpu %d awaken %016lx!\n",
                    targ->vcpu_id, targ_regs->cr_iip);
         } else {
             printk("arch_boot_vcpu: huh, already awake!");

diff --git a/xen/arch/ia64/vmx/vmmu.c b/xen/arch/ia64/vmx/vmmu.c
index 9d1c26ca052279350e8f94eda8539695aa78e48e..901c07bed4ba40a3118f25f6eb55e9f382951f02 100644 (file)
--- a/xen/arch/ia64/vmx/vmmu.c
+++ b/xen/arch/ia64/vmx/vmmu.c
@@ -141,7 +141,7 @@ static int init_domain_vhpt(struct vcpu *v)
     }
     vbase = page_to_virt(page);
     memset(vbase, 0, VCPU_VHPT_SIZE);
-    printk("Allocate domain vhpt at 0x%p\n", vbase);
+    printk(XENLOG_DEBUG "Allocate domain vhpt at 0x%p\n", vbase);
     
     VHPT(v,hash) = vbase;
     VHPT(v,hash_sz) = VCPU_VHPT_SIZE/2;
@@ -182,7 +182,7 @@ int init_domain_tlb(struct vcpu *v)
     }
     vbase = page_to_virt(page);
     memset(vbase, 0, VCPU_VTLB_SIZE);
-    printk("Allocate domain vtlb at 0x%p\n", vbase);
+    printk(XENLOG_DEBUG "Allocate domain vtlb at 0x%p\n", vbase);
     
     VTLB(v,hash) = vbase;
     VTLB(v,hash_sz) = VCPU_VTLB_SIZE/2;

diff --git a/xen/arch/ia64/vmx/vmx_init.c b/xen/arch/ia64/vmx/vmx_init.c
index 2ae82ed0869a42f514e6c16d384023f289a04999..f2548322b2c89f37bccbe5926deb1d2f4dff1476 100644 (file)
--- a/xen/arch/ia64/vmx/vmx_init.c
+++ b/xen/arch/ia64/vmx/vmx_init.c
@@ -162,7 +162,8 @@ static vpd_t *alloc_vpd(void)
                return NULL;
        }
 
-       printk("vpd base: 0x%p, vpd size:%ld\n", vpd, sizeof(vpd_t));
+       printk(XENLOG_DEBUG "vpd base: 0x%p, vpd size:%ld\n",
+              vpd, sizeof(vpd_t));
        memset(vpd, 0, VPD_SIZE);
        mregs = &vpd->vpd_low;
 
@@ -207,7 +208,7 @@ vmx_create_vp(struct vcpu *v)
        extern char vmx_ia64_ivt;
        /* ia64_ivt is function pointer, so need this tranlation */
        ivt_base = (u64) &vmx_ia64_ivt;
-       printk("ivt_base: 0x%lx\n", ivt_base);
+       printk(XENLOG_DEBUG "ivt_base: 0x%lx\n", ivt_base);
        ret = ia64_pal_vp_create((u64 *)vpd, (u64 *)ivt_base, 0);
        if (ret != PAL_STATUS_SUCCESS){
                panic_domain(vcpu_regs(v),"ia64_pal_vp_create failed. \n");